Boolean algebra

Results: 1241



#Item
201Emmy Noether / Lie algebra / Trends in International Mathematics and Science Study / Area / Mathematics education / Ring theory / Boolean algebra / Algebra tile / Mathematics / Education / Algebra

Chapter 14 Algebra Table of Contents Before We Begin TIMSS .............................................................................................................................. 357 Findings .....................

Add to Reading List

Source URL: www.center.edu

Language: English - Date: 2012-12-23 19:23:44
202XK / Structure / Boolean algebra / Implicant / Vehicle Identification Number

Artificial Intelligence in Medicine – 254 Using Boolean reasoning to anonymize databases Aleksander Øhrn a,*, Lucila Ohno-Machado b,1 a Knowledge Systems Group, Department of Computer and Information Sc

Add to Reading List

Source URL: dsg.harvard.edu

Language: English - Date: 2001-01-10 11:57:24
203Boolean algebra / Boolean data type / Computing

Chapter 7 Exercises Exercise 1: Open the “7.2 Train Strike” model (on http://bayesianrisk.com/models.html). Enter the observations T= false in both parts of the model and run the model. Do the same for T=true, N=true

Add to Reading List

Source URL: www.bayesianrisk.com

Language: English - Date: 2013-07-31 14:00:05
204Abstract algebra / Symbol / Function / Vertex operator algebra / Residuated Boolean algebra / Mathematics / Algebraic structures / Functions and mappings

The Network Operator Method for Synthesis of Intelligent Control System Jose Miguel Atiencia Villagomez Askhat Diveev

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2013-06-23 23:01:08
205Constraint programming / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Satisfiability / NP-complete / Model checking / Theoretical computer science / Applied mathematics / Computational complexity theory

Scheduling and SAT Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 02:59:42
206Algebraic structures / Algebraic logic / Boolean algebra / Differential equation / Universal algebra / Unification / Variety / Boolean algebras canonically defined / Heyting algebra / Mathematics / Abstract algebra / Algebra

JanuaryStanford Verification Group Report No. 15

Add to Reading List

Source URL: rewriting.loria.fr

Language: English - Date: 2005-01-06 03:20:52
207Boolean algebra / Algebra / Diagrams / Karnaugh map / Logic in computer science / Algebraic logic / Mathematical logic / Mathematics

KMAP3 is a very powerful Boolean calculator is a very powerful tool for evaluating, calculating of Boolean Algebra expressions. The best Boolean calculator on internet ! Even wolframalpha.com does not have such powerful

Add to Reading List

Source URL: omidmotahed.com

Language: English - Date: 2015-02-15 00:54:58
208Science / Gene expression / Molecular biology / Systems biology / Gene regulatory network / Boolean network / Boolean function / Bayesian network / Gene / Biology / Boolean algebra / Networks

Temporal Boolean Network Models of Genetic Networks and their Inference from Gene Expression Time Series

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
209Boolean algebra / Cross-platform software / Diagrams / Binary decision diagram / Model checking / Cellular automaton / Java / Lookup table / C / Computing / Computer programming / Software engineering

Translations of Cellular Automata for Efficient Simulation

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:39
210Logical truth / Binary operations / Boolean algebra / Tautology / Logical connective / If and only if / Entailment / Well-formed formula / Truth table / Logic / Propositional calculus / Philosophical logic

Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2011-01-24 19:35:06
UPDATE